A Comparison of Strategies to Generate Test Requirements for Fail-Safe Behavior
نویسندگان
چکیده
This paper compares the effectiveness and efficiency of generating test requirements for testing fail-safe behavior with simulation experiments and case studies. The strategies to generate test requirements include genetic algorithm (GA) and coverage criteria for failure scenarios. The underlying testing method is based on a behavioral model and its test suite. The results show that test requirements generated by a genetic algorithm (GA) are more efficient for large search spaces. They are equally effective for the two strongest coverage criteria. For small search spaces, the genetic algorithm is less effective. The weakest coverage criteria is ineffective.
منابع مشابه
Study of the Safe Behavior in Road Crossing Using the Theory of Planned Behavior among Middle School Students
Background Given that school-age students, as active road users, are more vulnerable to injury compared with other pedestrians, a large number of them, following an injury, may either fail to go to school at least for a short time or even suffer from disabilities for the rest of their lives. The aim of this study was to determine safe behavior in road crossing using the theory of planned behavi...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملUsing the Particle Swarm Optimization Algorithm to Generate the Minimum Test Suite in Covering Array with Uniform Strength
Up to now, several useful algorithms have been proposed to generate covering array, which is one of the branches of combinatorial testing. The main challenge in generating such arrays is generation of the arrays with a minimum number of test cases (for efficiency) at a proper time (for performance), for large systems. Covering array generation strategies are often divided into two general categ...
متن کاملThe Effectiveness of Transdiagnostic Therapy on Emotion Regulation Strategies of Patients with Emotional Disorders: A Randomized Clinical Trial
Objective: An important concept for understanding emotional disorders is emotion regulation. The present study focuses on Effectiveness of Transdiagnostic Therapy on emotion regulation strategies of patients with emotional disorders in comparison with cognitive-behavior therapy. Methods: This study was a pretest/posttest randomized control trial. A diagnostically heterogeneous clinical sampl...
متن کاملAutomated Testing Experience of the Linear AerospikeSR-71 Experiment (LASRE) Controller
System controllers must be fail-safe, low cost, flexible to software changes, able to output health and status words, and permit rapid retest qualification. The system controller designed and tested for the aerospike engine program was an attempt to meet these requirements. This paper describes (1) the aerospike controller design, (2) the automated simulation testing techniques, and (3) the rea...
متن کامل